//#include "../cnix/verno.h"
const char version[] = { "CNIX\n" };
const char * version_time_2010_04_14_10_27_21 = "version_time_2010_04_14_10_27_21";
const char * version_time(void) { return version_time_2010_04_14_10_27_21; }
